Nederlands texnummering (de) Frans numérotage tex (le) Duits Texnumerierung (die) Engels tex numbering